8*integral_0^1 (x(1-x)/(1+x^2)^2)